;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(interface Istockhelper
  (sig get-ticker-list (data-avl))
  (sig get-ticker-data (ticker ticker-list flat-data-avl))
  (sig get-first-date (start-date ticker-data))
  (sig get-last-date (end-date ticker-data))
  (sig get-date-data (ticker-and-date ticker-data))
  (sig get-data-over-range-of-dates (start-date end-date ticker-data))
  (sig max-performance/volatility (p/v-1 p/v-2))
  
)